Automated reasoning - PDFSEARCH.IO - Document Search Engine

Automated reasoning
Results: 284

#	Item
261	Minutes Tableaux Business Meeting Siena, Thursday, 21 June 2001, 13:30–14:00 Present members from the Tableaux Steering Committee (TSC): Roy Dyckhoff, Uwe Egly, Uli Furbach, Didier Galmiche, Rajeev Gor´e, Reiner Add to Reading List Source URL: i12www.ira.uka.de Language: English - Date: 2003-10-08 00:45:56 Theorem Proving in Higher-Order Logics Federated Logic Conference International Joint Conference on Automated Reasoning International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
262	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) A formally verified compiler back-end Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-10-29 04:36:18 Compiler construction Programming language implementation Type theory Compilers Procedural programming languages Compiler Type system Formal verification Type safety Software engineering Computing Software
263	Minutes Tableaux Business Meeting Copenhagen, DIKU, Wednesday July 31st, 17:30–18:30, Auditorium 3 Present members from the Tableaux Steering Committee (TSC): Add to Reading List Source URL: i12www.ira.uka.de Language: English - Date: 2003-10-08 00:45:58 Federated Logic Conference International Joint Conference on Automated Reasoning Theorem Proving in Higher-Order Logics Automated theorem proving Logic in computer science International Conference on Automated Reasoning with Analytic Tableaux and Related Methods Automated reasoning Theoretical computer science Applied mathematics Computer science
264	PDF Document Add to Reading List Source URL: i12www.ira.uka.de Language: English - Date: 2003-10-08 00:46:01 International Joint Conference on Automated Reasoning International Conference on Automated Reasoning with Analytic Tableaux and Related Methods Federated Logic Conference
265	MuPAD-Combinat Copyleft[removed]by the MuPAD-Combinat team http://mupad-combinat.sf.net/ Why contribute to a Computer Algebra System? • Research in algebraic combinatorics benefits greatly from computer aided explora Add to Reading List Source URL: mupad-combinat.sourceforge.net Language: English - Date: 2005-07-11 06:54:20 Symmetric functions Representation theory of finite groups Algebraic combinatorics Invariant theory Representation theory Young tableau Littlewood–Richardson rule MuPAD International Conference on Automated Reasoning with Analytic Tableaux and Related Methods Abstract algebra Algebra Mathematics
266	Microsoft Word - Equipment_Lenders_Coordinators List for Kits 2009.doc Add to Reading List Source URL: ssmrca.ca Language: English - Date: 2012-02-03 10:53:42 Grand River Conservation Authority Conservation authority Central Lake Ontario Conservation Authority Mathematics Mechanization and Automated Reasoning Platform
267	AAAI[removed]Spring Symposium Series March 26 – 28, 2001 Stanford University, California Add to Reading List Source URL: www.aaai.org Language: English - Date: 2008-12-15 18:42:06 Emerging technologies Computational neuroscience Knowledge engineering Automated theorem proving Reasoning system Ambient intelligence Applications of artificial intelligence Actor model Intelligence Science Artificial intelligence Knowledge
268	Research Report ConicIT: Automated Reasoning to Troubleshoot Mainframe Problems Executive Summary Executives at ConicIT, a computer management software maker, see their product as a“behavioral management solution for s Add to Reading List Source URL: www.sdsusa.com Language: English - Date: 2013-12-18 16:01:52 Business Mainframe computer Predictive analytics Analytics System programming Computing Business intelligence Formal sciences Statistics
269	Organization General Conference Chair Max Chickering Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2005-02-03 21:19:29 Competitions Digital media Grants Applied mathematics Abstract management Electronic submission Automated reasoning Education Knowledge Artificial intelligence Academia
270	UNIVERSITY OF MASSACHUSETTS AMHERST Resource-Bounded Reasoning Lab Add to Reading List Source URL: anytime.cs.umass.edu Language: English - Date: 2011-02-22 14:58:51 Anytime algorithm Agent-based model Multi-agent planning Computing Automated planning and scheduling Reinforcement learning Computational intelligence Artificial intelligence Multi-agent systems Science

UPDATE